Performance bounds on depth estimation of bioelectrical sources

The unknown depth of bioelectrical sources confined to a horizontal plane in a horizontally layered volume conductor is estimated from noisy measurements of electrical potential on another, parallel plane (e.g. the surface). The Cramer-Rao bound is computed and discussed. Numerical simulations suggest the maximum likelihood depth estimate is asymptotically efficient.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49098/2/ip920602.pd

Dataflow acceleration of Smith-Waterman with Traceback for high throughput Next Generation Sequencing

Smith-Waterman algorithm is widely adopted bymost popular DNA sequence aligners. The inherent algorithmcomputational intensity and the vast amount of NGS input datait operates on, create a bottleneck in genomic analysis flows forshort-read alignment. FPGA architectures have been extensivelyleveraged to alleviate the problem, each one adopting a differentapproach. In existing solutions, effective co-design of the NGSshort-read alignment still remains an open issue, mainly due tonarrow view on real integration aspects, such as system widecommunication and accelerator call overheads. In this paper, wepropose a dataflow architecture for Smith-Waterman Matrix-filland Traceback alignment stages, to perform short-read alignmenton NGS data. The architectural decision of moving both stages onchip extinguishes the communication overhead, and coupled withradical software restructuring, allows for efficient integration intowidely-used Bowtie2 aligner. This approach delivers×18 speedupover the respective Bowtie2 standalone components, while our co-designed Bowtie2 demonstrates a 35% boost in performance

Estimation of locations of bioelectric sources using an equivalent filter

The authors estimate the number and locations of bioelectric sources in a horizontally layered volume conductor. By modelling the extracellular medium as an equivalent filter, the location estimation problem becomes one of estimating parameters of this equivalent filter, given cursory knowledge of the functional form of the desired sources. The new procedure (1) is computationally efficient, (2) accurately models noise effects on the location estimates, and (3) automatically regularises noisy data. Numerical results are presented, and the Cramer-Rao bound for depth estimations is derived.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/49095/2/ipv6i4p697.pd

Online Handbook of Argumentation for AI: Volume 3

Editors: Federico Castagna, Francesca Mosca, Jack Mumford, Stefan Sarkadi and Andreas Xydis.This volume contains revised versions of the papers selected for the third volume of the Online Handbook of Argumentation for AI (OHAAI). Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. Argumentation, as a field within artificial intelligence (AI), is highly relevant for researchers interested in symbolic representations of knowledge and defeasible reasoning. The purpose of this handbook is to provide an open access and curated anthology for the argumentation research community. OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI